121. System simulation:programming styles & languages
پدیدآورنده : KREUTZER,WOLFGANG
کتابخانه: (طهران)
موضوع : DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74
122. Taschenbuch fur Programmierer
پدیدآورنده : Mrachacz, Hans-Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Handbooks, manuals, etc ، Programming languages )Electronic Computers(,Handbooks, manuals, etc ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
M72
123. The computer user
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C612
124. Using formal description techniques
پدیدآورنده : / edited by Kenneth J. Turner
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
125. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
126. 16th International Conference on Software Engineering
پدیدآورنده : International Conference on Software Engineering )4991: Sorrento, Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic digital computers- Programming- Congresses,، Software engineeing- Congresses,، Programming languages )Electronic computers(- Congresses
